Multi-level Qualitative Reasoning Logic
نویسندگان
چکیده
منابع مشابه
A Logic for Reasoning about Qualitative Probability
We offer extended completeness theorem for probabilistic logic that combines higher-order probabilities (nesting of probability operators) and the qualitative probability operator.
متن کاملArchitecture Level Qualitative Reasoning About Safety
Architects use a variety of techniques to evaluate designs for the desired levels of specific quality attributes. Reasoning frameworks are used to guide architecture definition by determining the extent to which a software architecture satisfies its quality requirements. There is much work on reasoning about quality attributes such as performance and modifiability but there has been little work...
متن کاملQualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic
Systems for qualitative spatial reasoning (QSR) are usually formulated as relation algebras, and reasoning in such systems is performed by constraint-satisfaction techniques. While this is often adequate, it is a rather inexpressive framework that cannot model and solve many spatial reasoning problems; it can also complicate the combination of different spatial formalisms, e.g., the combination...
متن کاملConstraint Logic Programming - a Framework for Qualitative Reasoning
We propose to use Constraint Logic Programming (CLP) for the specification and implementation of Qualitative Reasoning (QR) problems that are specialized Constraint Satisfaction Problems . The use of CLP has two advantages : (i) CLP gives a well defined and understood logical framework for the problem specification, and (ii) CLP is not only a logical framework, it is also a family oflanguages s...
متن کاملQualitative and Quantitative Reasoning in Hybrid Probabilistic Logic Programs
Reasoning with qualitative and quantitative uncertainty is required in some real-world applications [6]. However, current extensions to logic programming with uncertainty support representing and reasoning with either qualitative or quantitative uncertainty. In this paper we extend the language of Hybrid Probabilistic Logic programs [28, 25], originally introduced for reasoning with quantitativ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2020
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1693/1/012198